A closure operator respecting the modular j-function

We prove some unconditional cases of the Existential Closedness problem for modular $j$-function. For this, we show that any finitely generated field can find a "convenient" set generators. This is done by showing in equipped with functions replicating algebraic behaviour $j$-function and its derivatives, one define natural closure operator three equivalent different ways.